On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
نویسندگان
چکیده
منابع مشابه
On Hierarchical Graphs: Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
Compositional graph models for global computing systems must account for two relevant dimensions, namely nesting and linking. In Milner’s bigraphs the two dimensions are made explicit and represented as loosely coupled structures: the place graph and the link graph. Here, bigraphs are compared with an earlier model, gs-graphs, based on gs-monoidal theories and originally conceived for modelling...
متن کاملOn GS-Monoidal Theories for Graphs with Nesting
We propose a sound and complete axiomatisation of a class of graphs with nesting and either locally or globally restricted nodes. Such graphs allow to represent explicitly and at the right level of abstraction some relevant topological and logical features of models and systems, including nesting, hierarchies, sharing of resources, and pointers or links. We also provide an encoding of the propo...
متن کاملAn Algebraic Presentation of Term Graphs, via GS-Monoidal Categories
We present a categorical characterisation of term graphs (i.e., nite, directed acyclic graphs labeled over a signature) that parallels the well-known char-acterisation of terms as arrows of the algebraic theory of a given signature (i.e., the free Cartesian category generated by it). In particular, we show that term graphs over a signature are one-to-one with the arrows of the free gs-monoidal ...
متن کاملOpen Graphs and Monoidal Theories
String diagrams are a powerful tool for reasoning about physical processes, logic circuits, tensor networks, and many other compositional structures. The distinguishing feature of these diagrams is that edges need not be connected to vertices at both ends, and these unconnected ends can be interpreted as the inputs and outputs of a diagram. In this paper, we give a concrete construction for str...
متن کاملBinding bigraphs as symmetric monoidal closed theories
We reconstruct Milner’s [1] category of abstract binding bigraphs Bbg(K) over a signature K as the free (or initial) symmetric monoidal closed (smc) category S(TK) generated by a derived theory TK. The morphisms of S(TK) are essentially proof nets from the Intuitionistic Multiplicative fragment (imll) of Linear Logic [2]. Formally, we construct a faithful, essentially injective on objects funct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fundamenta Informaticae
سال: 2014
ISSN: 0169-2968
DOI: 10.3233/fi-2014-1103